Deductive Coherence and Norm Adoption

This paper is a contribution to the formalisation of Thagard's coherence theory. The term 'coherence' is defined as the quality or the state of cohering, especially a logical, orderly, and aesthetically consistent relationship of parts. A coherent set is interdependent such that every element in it contributes to the coherence. We take Thagard's proposal of a coherence set as that of maximising satisfaction of constraints between elements and explore its use in normative multiagent systems. In particular, we interpret coherence maximisation as a decision-making criterion for norm adoption. We first provide a general coherence framework with the necessary computing tools. Later we introduce a prooftheoretic characterisation of a particular type of coherence, namely the deductive coherence based on Thagard's principles, and derive a mechanism to compute coherence values between elements in a deductive coherence graph. Our use of graded logic helps us to incorporate reasoning under uncertainty, which is more realistic in the context of multiagent systems. We then conduct a case study where agents deliberate about norm adoption in a multiagent system where there is competition for a common resource. We show how a coherencemaximising agent decides to violate a norm guided by its coherence. Source URL: https://www.iiia.csic.es/en/node/54001 Links [1] https://www.iiia.csic.es/en/staff/sindhu-joseph [2] https://www.iiia.csic.es/en/staff/carles-sierra [3] https://www.iiia.csic.es/en/staff/marco-schorlemmer [4] https://www.iiia.csic.es/en/staff/pilar-dellunde [5] https://www.iiia.csic.es/en/bibliography?f[keyword]=811 [6] https://www.iiia.csic.es/en/bibliography?f[keyword]=443 [7] https://www.iiia.csic.es/en/bibliography?f[keyword]=444